Словарь по логике - превращение (лат. obversio) в традиционной логике
Связанные словари
Превращение (лат. obversio) в традиционной логике
вид непосредственного умозаключения, характеризующегося тем, что в исходных суждениях вида A, Е, I, О (см.: Суждение) предикат Р заменяется на не-Р (т. е. на его дополнение), и наоборот, и при этом качество суждения изменяется (утвердительное суждение преобразуется в отрицательное, и наоборот), а его общность (т. е. количество суждения) остается прежней. Так, из истинного суждения вида "Все S суть Р" путем его П. можно получить истинное суждение вида "Ни одно S не есть не-Р" (ср.: "Все тигры хищные животные" и "Ни один тигр не является не-хищным животным"). Из истинного суждения вида "Ни одно S не есть Р" можно путем П. получить истинное суждение вида "Все S суть не-Р" (ср.: "Ни один кит не есть рыба" и "Все киты суть не-рыбы"). Из истинного суждения вида "Некоторые S суть Р" путем П. можно получить истинное суждение вида "Некоторые S не суть не-Р" (ср.: "Некоторые металлы являются жидкими" и "Некоторые металлы не являются не-жидкими"). Из истинного суждения вида "Некоторые S не суть Р" путем П. можно получить истинное суждение вида "Некоторые S есть не-Р" (ср.: "Некоторые учащиеся не являются отличниками" и "Некоторые учащиеся являются не-отличниками").
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 1496 | |
2 | 1308 | |
3 | 1165 | |
4 | 1009 | |
5 | 766 | |
6 | 711 | |
7 | 683 | |
8 | 681 | |
9 | 655 | |
10 | 653 | |
11 | 613 | |
12 | 612 | |
13 | 572 | |
14 | 572 | |
15 | 561 | |
16 | 559 | |
17 | 554 | |
18 | 539 | |
19 | 536 | |
20 | 522 |